Operation of a coal-fired power station